Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence :

  • Frédéric Dadeau, Programming, 37 hours (ETD), L1, Université de Franche-Comté

  • Frédéric Dadeau, Databases, 39 hours (ETD), L1, Université de Franche-Comté

  • Frédéric Dadeau, Web Languages, 24 hours (ETD), L2, Université de Franche-Comté

  • Frédéric Dadeau, Object-Oriented Modelling and Design, 44 hours (ETD), L3, Université de Franche-Comté

  • Alain Giorgetti, Logics and Deduction, 52 hours (ETD), L2, Université de Franche-Comté, France.

  • Alain Giorgetti, Formal Methods, 81 hours (ETD), L3, Université de Franche-Comté, France

  • Olga Kouchnarenko, Formal Languages, 65 hours (ETD), L3, Université de Franche-Comté, France

  • Olga Kouchnarenko, Languages, Specification and Proof, 25 hours (ETD), L3, Université de Franche-Comté, France

  • Olga Kouchnarenko, Parsing Algorithms and XML, 30 hours (ETD), L3, Université de Franche-Comté, France

• Master :

  • Fabrice Bouquet, Artificial Intelligence (also in e-learning), 53 hours (ETD), M2, Université de Franche-Comté

  • Fabrice Bouquet, Compilation, 54 hours (ETD), M2, Université de Franche-Comté

  • Fabrice Bouquet, Testing (also in e-learning), 71 hours (ETD), M2, Université de Franche-Comté

  • Frédéric Dadeau, Testing, 13 hours (ETD), M2, Université de Franche-Comté

  • Alain Giorgetti, Program Proofs, 58 hours (ETD), M1, Université de Franche-Comté, France.

  • Alain Giorgetti, Decision Procedures, 13 hours (ETD), M2, Université de Franche-Comté, France.

  • Steve Kremer, Security Theory, 24 hours (ETD), M2 Computer science, Lorraine University, France.

  • Christophe Ringeissen, Decision Procedures for Software Verification, 24 hours (ETD), M2 Computer science, Lorraine University, France.

  • Laurent Vigneron, Security of information systems, 15 hours (ETD), M2 Computer science, Lorraine University, France.

  • Laurent Vigneron, Formal methods, 24 hours (ETD), M2 MIAGE, Lorraine University, France.

  • Pierre-Cyrille Héam, Calculability, 23 hours (ETD), M2 Computer science, Université de Franche-Comté, France.

  • Pierre-Cyrille Héam, Introduction to Büchi Automata, 18 hours (ETD), M2 Computer science, Université de Franche-Comté, France.

  • Abdessamad Imine, Security for XML Documents, 12 hours (ETD), M1, University of Lorraine, France.

  • Olga Kouchnarenko, Specification, Verification and Validation, 12 hours (ETD), M2, Université de Franche-Comté, France.

  • Olga Kouchnarenko, Compositional approaches in verification, 18 hours (ETD), M2, Université de Franche-Comté, France.

  • Olga Kouchnarenko, Security and Components, 10,5 hours (ETD), M2, Université de Franche-Comté, France.

• Doctorat:

  • Steve Kremer, Les protocoles de sécurité : modélisation et vérification, 4,5 hours (ETD), École jeunes chercheurs en programmation (EJCP), Rennes, France

Supervision

• PhD :

  Kalou Cabrera Castillos, Automated Test Scenario Generation from Property Patterns and Behavioral Models, November 28, Frédéric Dadeau and Jacques Julliand

  Jérome Cantenot, Management of consistence in verication conditions in the test generation context, Université de Franche Comté, 13 November, Fabrice Ambert and Fabrice Bouquet.

  Vincent Hugot, Approximations and Constraints: Application to the Verification of Embedded Systems, Université de Franche Comté, September 27, Pierre-Cyrille Héam and Olga Kouchnarenko

  Elena Tushkanova, Specification and formal certification of (combinations of) decision procedures, Université de Franche Comté, July 19, Alain Giorgetti, Olga Kouchnarenko and Christophe Ringeissen

• PhD in progress :

  Hadrien Bride, Validation and Reconfiguration of Modal Petri Nets within Constraint Logic Programming, started in October 2013, Olga Kouchnarenko and Fabien Peureux

  Rémy Chrétien, Decision procedures of equivalence properties, started in October 2012, Véronique Cortier and Stéphanie Delaune

  Aloïs Dreyfus, Efficient approches for systems validation, started in November 2010, Pierre-Cyrille Héam and Olga Kouchnarenko

  Ivan Enderlin, Test Data Generation for Unit Testing in PHP, started in October 2011, Fabrice Bouquet, Frédéric Dadeau and Alain Giorgetti

  Jean-Marie Gauthier, Method for validation and simulation of SysML model: Applied on micro-systems, started in October 2012, Fabrice Bouquet, Fabien Peureux and Ahmed Hammad

  Richard Genestier, Formal specification and verification of programs generating structured data, started in October 2012, Alain Giorgetti and Olga Kouchnarenko

  Bao-Thien Hoang, Secure Collaboration in Social Networks, started in April 2011, Abdessamad Imine and Christophe Ringeissen

  Jean-Luc Joly, Randomized approaches for validation and verification procedures, started in December 2011, Pierre-Cyrille Héam

  Robert Künnemann, Verification of Security APIs, started in October 2010, Steve Kremer and Graham Steel

  Éric Le Morvan, Secure composition of cryptographic protocols, started in October 2013, Véronique Cortier

  Houari Mahfoud, Access Control Models for XML Documents, started in September 2010, Abdessamad Imine and Michaël Rusinowitch

  Guillaume Scerri, Symbolic and automatic security proofs in computational models, started in September 2011, Hubert Comon-Lundh and Véronique Cortier

  Cyrille Wiedling, Formal analysis of E-voting protocols, started in September 2011, Véronique Cortier

  Hiep Nguyen Huu, Secure Collaboration in Mobile Social Networks, started in November 2013, Abdessamad Imine and Michaël Rusinowitch

Juries

Inria evaluation committee (Véronique Cortier, Michaël Rusinowitch)

Jury starting/advanced Inria positions and jury international chair Inria 2013 (Véronique Cortier)

Jury Junior Research Position Inria Nancy Grand Est (Michaël Rusinowitch)

Referee for David Cadé's PhD, December 2013: Proved Implementations of Cryptographic Protocols in the Computational Model (Véronique Cortier)

Referee for Matthijs Melissen's PhD, October 2013: Game Theory and Logic for Non-repudiation Protocols and Attack Analysis (Steve Kremer)

Referee for Jannik Dreier's PhD, November 2013: Formal Verification of Voting and Auction Protocols: From Privacy to Fairness and Verifiability (Steve Kremer)

Referee for Naipeng Dong's PhD, November 2013: Enforced Privacy: from Practice to Theory (Michaël Rusinowitch)

Referee for Mohamed Iguernelala's PhD, June 2013: Renforcement du Noyau d'un Démonstrateur SMT (Michaël Rusinowitch)

Referee for Sarah Nait Bahloul's PhD, December 2013: Inférence de règles de contrôle d'accès pour assurer la confidentialité des données au niveau des vues matérialisées (Michaël Rusinowitch)

Referee for Robert Guduvan's PhD, April 2013, A model driven Development of tests for avionics embedded systems (Fabrice Bouquet)

Referee for Taha Triki's PhD, October 2013, Filtering and reduction techniques combinational tests (Fabrice Bouquet)

Examiner for Florent Pompigne's PhD, December 2013, Nancy: Modélisation logique de la langue et Grammaires Catégorielles Abstraites (Laurent Vigneron).

Examiner for Asma Tafat's PhD, September 2013, Orsay: Preuves par raffinement de programmes avec pointeurs. (Alain Giorgetti).

Commitee chair for Lilia Ziand Khodja's PhD, May 2013, Besançon: Résolution de systèmes linéaires et non linéaires creux sur grappes de GPU's (Pierre-Cyrille Héam).